Search CORE

47 research outputs found

A new system of proof-theoretic ordinal functions

Author: Buchholz Wilfried
Publication venue
Publication date: 01/01/1986
Field of study

Open Access LMU

An independence result for (II1-CA)+BI

Author: Buchholz
Buchholz
Cichon
Ketonen
Kirby
Schmidt
Tait
Wilfried Buchholz
Publication venue: 'Elsevier BV'
Publication date: 01/01/1987
Field of study

Crossref

Open Access LMU

A note on the ordinal analysis of KPM

Author: Buchholz Wilfried
Oikonen Väänänen
Publication venue: Ludwig-Maximilians-Universität München
Publication date: 01/01/1991
Field of study

Open Access LMU

Provable wellorderings of formal theories for transfinitely iterated inductive definitions

Author: Buchholz Wilfried
Pohlers W.
Publication venue
Publication date: 01/01/1978
Field of study

Open Access LMU

A note on polynomial time computable arithmetic

Author: Buchholz Wilfried
Sieg W.
Publication venue
Publication date: 01/01/1990
Field of study

Open Access LMU

Provably computable functions and the fast growing hierarchy

Author: Buchholz Wilfried
Simpson Stephen G.
Wainer S.
Publication venue
Publication date: 01/01/1987
Field of study

Open Access LMU

Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion

Author: Buchholz Wilfried
Schütte K.
Publication venue: Ludwig-Maximilians-Universität München
Publication date: 01/01/1983
Field of study

Open Access LMU

Cut-elimination for the mu-calculus with one variable

Author: Alwen Tiu
Brian Hill
Dale Miller
David Baelde
Dexter Kozen
Gaisi Takeuti
Gerhard Jäger
Gerhard Jäger
Grigori Mints
Grigori Mints
Kai Brünnler
Regimantas Pliuskevicius
Thomas Studer
Wilfried Buchholz
Wilfried Buchholz
Wilfried Buchholz
Zoltán Ésik
Publication venue: 'Open Publishing Association'
Publication date: 01/01/2012
Field of study

We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.Comment: In Proceedings FICS 2012, arXiv:1202.317

arXiv.org e-Print Archive

CiteSeerX

Crossref

Directory of Open Access Journals

Bern Open Repository and Information System (BORIS)